maname{-}deq() $\in$ EqDecider(MaName)